Theorem AlgebraicGeometry.isLocalization_basicOpen_of_qcqs

Modification history