Theorem Polynomial.rat_smul_eq_C_mul

Modification history

2024-04-23 09:54
Mathlib/Algebra/Polynomial/Basic.lean
chore: Final cleanup before `NNRat.cast` (#12360) …
Deleted Polynomial.rat_smul_eq_C_mulView on Github →
2023-04-26 12:39
Mathlib/Data/Polynomial/Basic.lean
chore: forward-port leanprover-community/mathlib#18852 (#3646) …
Added Polynomial.rat_smul_eq_C_mulView on Github →