mathlib

af8b60b8 - feat(algebra/lie/submodule): Lie submodules form a modular lattice (#6176)