Theorem AlgebraicGeometry.IsAffineOpen.biInf

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.IsAffineOpen.biInfView on Github →