We prove Conjecture 4.16 of the paper [EL21] of Elagin and Lunts; namely, that a smooth projective curve of genus at least 1 over a field has diagonal dimension 2.
生成讲解博客的中文版本
生成AI智能校验的中文版本