Theorem AlgebraicGeometry.is_localization_basicOpen_of_qcqs

Modification history