mathlib3
d5a3e8c2 - feat(ring_theory/derivation): add 3 lemmas (#10996)

Commit

4 years ago

feat(ring_theory/derivation): add 3 lemmas (#10996) Add `map_smul_of_tower`, `map_coe_nat`, and `map_coe_int`.

Author

urkud

Parents