Theorem AlgebraicGeometry.Scheme.Opens.toSpecΓ_top

Modification history