Theorem AlgebraicGeometry.Scheme.Opens.nonempty_iff

Modification history