Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.mul_mem_iff_of_index_two

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.mul_mem_iff_of_index_twoView on Github →