Commit 2025-08-14 21:19 9341da5e

View on Github →

chore(AlgebraicGeometry/IdealSheaf): deprecate duplicate AlgebraicGeometry.Scheme.IdealSheafData.Scheme.zeroLocus_radical (#28202) Motivation: Avoid proof duplication.

Estimated changes