We prove that a generically trivial torsor under a reductive group scheme over an unramified regular local ring is trivial.
生成讲解博客的中文版本
生成AI智能校验的中文版本