mathlib

8fafd524 - feat(ring_theory/derivation): support non-commutative rings (via bimodules)