Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-24 21:14 d5a3e8c2

View on Github →

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

Estimated changes

Modified src/ring_theory/derivation.lean

added theorem derivation.map_coe_int

added theorem derivation.map_coe_nat

added theorem derivation.map_smul_of_tower