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