Theorem polynomial.map_pow
Modification history
2021-12-14 11:07
src/data/polynomial/eval.lean
feat(algebra/group): make `map_[z]pow` generic in `monoid_hom_class` (#10749) …
Deleted polynomial.map_powView on Github →2021-08-01 17:17
src/data/polynomial/eval.lean
chore(deprecated/*): Make deprecated classes into structures (#8178) …
Modified polynomial.map_powView on Github →2020-07-28 01:10
src/data/polynomial/eval.lean
chore(deprecated/ring): removing uses (#3577) …
Modified polynomial.map_powView on Github →2020-07-16 19:13
src/data/polynomial.lean
chore(data/polynomial): break up behemoth file (#3407) …
Modified polynomial.map_powView on Github →2020-06-29 13:48
src/data/polynomial.lean
feat(data/polynomial): work over noncommutative rings where possible (#3193) …
Modified polynomial.map_powView on Github →