Def algebraic_geometry.Spec_punit_is_initial

Modification history