Châtelet’s theorem in synthetic algebraic geometry

Thierry Coquand, Hugo Moeneclaey
April 2025
PDF Cite
Type
Preprint
Hugo Moeneclaey
Hugo Moeneclaey
Post-doc