Def Derivation.Simps.apply

Modification history

2023-11-03 16:13

Mathlib/RingTheory/Derivation/Basic.lean

chore(RingTheory/Derivation/Basic): generalize `Derivation.compAlgebraMap` to semirings (#8151) …

Added Derivation.Simps.apply View on Github →