Commit 2026-09-16 10:29 ffcee224
View on Github →refactor(GroupTheory/Subgroup/Simple): make normality an instance argument in IsSimpleGroup (#43864)
Normality is a class, so IsSimpleGroup.eq_bot_or_eq_top_of_normal now takes it as an instance argument rather than an explicit one.
Prepared with Claude Code 🤖