Theorem polynomial.nat_cast_eq_C
Modification history
2020-06-29 13:48
src/data/polynomial.lean
feat(data/polynomial): work over noncommutative rings where possible (#3193) …
Deleted polynomial.nat_cast_eq_CView on Github →2020-06-09 09:07
src/data/polynomial.lean
refactor(data/polynomial): redefine `C` as an `alg_hom` (#3003) …
Modified polynomial.nat_cast_eq_CView on Github →