Theorem Polynomial.qsmul_eq_C_mul

Modification history

2024-04-23 09:54
Mathlib/Algebra/Polynomial/Basic.lean
chore: Final cleanup before `NNRat.cast` (#12360) …
Added Polynomial.qsmul_eq_C_mulView on Github →