Theorem AlgebraicGeometry.IsAffineOpen.mem_ideal_iff

Modification history

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