Def algebraic_geometry.morphism_restrict_eq

Modification history