Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.relindex_self

Modification history

2021-10-21 11:25
src/group_theory/index.lean
feat(group_theory/index): Special cases of relindex (#9831) …
Added subgroup.relindex_selfView on Github →