Theorem Polynomial.monic_X_pow_sub_one

Modification history

2026-09-09 15:18
Mathlib/Algebra/Polynomial/Monic.lean
chore(Algebra/Polynomial/Monic): automated extraction from #43343 (#43618) …
Added Polynomial.monic_X_pow_sub_oneView on Github →