Commit 2024-12-03 08:47 1443a7f4

View on Github →

chore(Mathlib/Algebra/MvPolynomial/Degrees): rename degreeOf_mul_X_eq (#19654)

Estimated changes