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





leanprover-community/mathlib,leanprover-community/mathlib