Theorem AlgebraicGeometry.isBasis_basicOpen

Modification history