Theorem AlgebraicGeometry.isAffineOpen_top

Modification history