Theorem AlgebraicGeometry.HasRingHomProperty.isStableUnderBaseChange

Modification history