Def algebraic_geometry.affine_target_morphism_property.stable_under_base_change

Modification history