Theorem AlgebraicGeometry.isLocalization_basicOpen

Modification history