# Theorem derivation.Rsmul_apply

#### Modification history

2021-12-21 23:32

src/ring_theory/derivation.lean

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

Deleted derivation.Rsmul_applyView on Github →Mathlib v3 is deprecated. Go to Mathlib v4

2021-12-21 23:32

src/ring_theory/derivation.lean

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

Deleted derivation.Rsmul_applyView on Github →