mathlib

3986e978 - chore(algebra/lie): group Lie algebra files together in their own directory (#4288)