# Theorem derivation.mk_coe

#### Modification history

2021-12-21 23:32

src/ring_theory/derivation.lean

refactor(ring_theory/derivation): use weaker TC assumptions (#10952) …

Modified derivation.mk_coeView on Github →2021-10-15 12:10

src/ring_theory/derivation.lean

refactor(ring_theory/derivation): remove old_structure_cmd (#9724)

Modified derivation.mk_coeView on Github →