Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.index_eq_two_iff

Modification history

2022-10-24 07:29
src/group_theory/index.lean
feat(group_theory/index): criterion for subgroups of index two (#16629) …
Added subgroup.index_eq_two_iffView on Github →