Theorem AlgebraicGeometry.isBasis_affine_open

Modification history