Theorem polynomial.sum_C_index
Modification history
2021-05-07 09:30
src/data/polynomial/basic.lean
refactor(polynomial/*): make polynomials irreducible (#7421) …
Modified polynomial.sum_C_indexView on Github →2021-05-01 00:19
src/data/polynomial/basic.lean
feat(data/polynomial/coeff): Add smul_eq_C_mul (#7240) …
Modified polynomial.sum_C_indexView on Github →