mathlib3

b608348f - chore(ring_theory/derivation): split file (#19138)

chore(ring_theory/derivation): split file (#19138) The Stone-Weierstrass theorem shouldn't require the definition of Lie algebras. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>