Def algebraic_geometry.Γ_Spec.LocallyRingedSpace_adjunction

Modification history