Theorem Polynomial.natDegree_pow_X_add_C

Modification history

2023-04-01 19:08
Mathlib/Data/Polynomial/Monic.lean
chore: tidy various files (#3124)
Added Polynomial.natDegree_pow_X_add_CView on Github →