Theorem AlgebraicGeometry.compactSpace_of_universallyClosed

Modification history