Theorem AlgebraicGeometry.IsAffineOpen.opensRange_fromSpec

Modification history