Theorem AlgebraicGeometry.IsAffineOpen.ideal_ext_iff

Modification history

2025-02-04 06:23
Mathlib/AlgebraicGeometry/AffineScheme.lean
feat(AlgebraicGeometry): ideal sheaf data on a scheme (#21052)
Added AlgebraicGeometry.IsAffineOpen.ideal_ext_iffView on Github →