Theorem AlgebraicGeometry.IsAffineOpen.ideal_le_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_le_iffView on Github →