Commit 2025-08-03 05:11 8ebd697a

View on Github →

fix(Algebra/Polynomial/FieldDivision): add protected to div_eq_zero_iff (#27879) Previously, when Polynomial was open, the constant div_eq_zero_iff would resolve to Polynomial.div_eq_zero_iff. This made it hard to reference the constant div_eq_zero_iff, which has the same unqualified name. This is fixed by marking Polynomial.div_eq_zero_iff as protected.

Estimated changes