Theorem AlgebraicGeometry.isProper_eq

Modification history