Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.rat_smul_eq_C_mul

Modification history

2023-04-24 13:09
src/data/polynomial/basic.lean
feat(algebra & polynomial): some (q)smul lemmas+generalisations (#18852) …
Added polynomial.rat_smul_eq_C_mulView on Github →