mathlib

2b074bea - feat(algebra/lie/basic): Define lattice structure for `lie_submodule`s (#5146)