[Merged by Bors] - chore(RingTheory/Derivation/Basic): generalize Derivation.compAlgebraMap to semirings#8151
Closed
eric-wieser wants to merge 4 commits intomasterfrom eric-wieser/generalize-derivation
+24-18
