Theorem AlgebraicGeometry.affineLocally_respectsIso

Modification history