Commit 2026-02-18 09:28 e98e5080

chore: simplify statement of Module.End.isNilpotent_isSemisimple_unique (#35471)