Theorem AlgebraicGeometry.diagonal_targetAffineLocally_of_openCover

Modification history