Def algebraic_geometry.affine_target_morphism_property

Modification history