We prove that there is no non-trivial aoutoequvivalence of the categoryof schemes of finite type over QQ.
生成讲解博客的中文版本
生成AI智能校验的中文版本