Theorem AlgebraicGeometry.IsAffineOpen.isLocalization_of_eq_basicOpen

Modification history