Theorem AlgebraicGeometry.IsAffineOpen.basicOpen_fromSpec_app

Modification history