feat(algebra/lie/basic): the lattice of Lie submodules of a Noetherian Lie module is well-founded (#5557)
feat(algebra/lie/basic): the lattice of Lie submodules of a Noetherian Lie module is well-founded (#5557)

The key result is: `well_founded_of_noetherian`





leanprover-community/mathlib,leanprover-community/mathlib