Theorem AlgebraicGeometry.isAffineHom_diagonal_iff

Modification history

2026-03-10 20:55
Mathlib/AlgebraicGeometry/Morphisms/Affine.lean
feat(AlgebraicGeometry): intersection of affine opens in separated schemes is affine (#36453)
Added AlgebraicGeometry.isAffineHom_diagonal_iffView on Github →