Def algebraic_geometry.to_Spec_Γ

Modification history