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
.