Peter Scholze（所有结果均与Dustin Clausen联合），编辑：Johan Commelin和Patrick Massot
2023年9月18日
本文基于解析几何的课堂讲稿[附表20]彼得·斯科尔泽（Peter Scholze）。它已由约翰·德梅林（Johan Commelin）和帕特里克·马索特（Patrick Massot）编辑和扩充。
在本文中，\（\mathbb{N}\）表示自然数包括\(0\).