Def algebraic_geometry.homogeneous_localization_to_stalk

Modification history