Prefer a chat interface with context about you and your work?
A new look at the Jordan-Hölder theorem for semimodular lattices