Commit 2023-11-03 16:13 bf4260cb
View on Github →chore(RingTheory/Derivation/Basic): generalize Derivation.compAlgebraMap
to semirings (#8151)
Also adds a simps
configuration so we get nice lemmas names with @[simps]
and shuffles the variable order to put all the types first