Theorem AlgebraicGeometry.HasRingHomProperty.respects_isOpenImmersion

Modification history