Theorem AlgebraicGeometry.IsAffineOpen.Spec_basicOpen

Modification history