Theorem AlgebraicGeometry.HasAffineProperty.isStableUnderBaseChange

Modification history