Theorem AlgebraicGeometry.IsAffineOpen.toSpecΓ_fromSpec

Modification history