Theorem Subgroup.Normal.eq_bot_or_eq_top

Modification history

2023-01-27 13:00
Mathlib/GroupTheory/Subgroup/Simple.lean
feat: port GroupTheory.Subgroup.Simple (#1858)
Added Subgroup.Normal.eq_bot_or_eq_topView on Github →