Def algebraic_geometry.Γ_Spec.adjunction

Modification history