Theorem Polynomial.monic_expand_iff

Modification history

2023-12-25 18:05
Mathlib/Data/Polynomial/Expand.lean
feat(Data/Polynomial/Expand): add `leadingCoeff_expand` and `monic_expand_iff` (#9261) …
Added Polynomial.monic_expand_iffView on Github →