Theorem AlgebraicGeometry.IsAffineOpen.inf

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