Theorem AlgebraicGeometry.IsAffineOpen.exists_basicOpen_le

Modification history