Schemes in Lean
Code
Categories
Algebraic Geometry
14A15, 14-04, 68V20
G.m