Theorem AlgebraicGeometry.Scheme.zeroLocus_radical

Modification history

2025-04-22 18:08

Mathlib/AlgebraicGeometry/Scheme.lean

refactor(AlgebraicGeometry): add `supportSet` field to `IdealSheafData` (#23890)

Added AlgebraicGeometry.Scheme.zeroLocus_radical View on Github →