Theorem AlgebraicGeometry.isCompact_iff_exists

Modification history