Theorem Polynomial.pow_mul_divByMonic_rootMultiplicity_eq

Modification history

2023-12-08 09:33
Mathlib/Data/Polynomial/Div.lean
chore: generalize Polynomial.Div to noncommutative rings (#8889)
Added Polynomial.pow_mul_divByMonic_rootMultiplicity_eqView on Github →