Mathlib v3 is deprecated. Go to Mathlib v4

Theorem subgroup.index_bot

Modification history

2021-10-21 11:25
src/group_theory/index.lean
feat(group_theory/index): Special cases of relindex (#9831) …
Modified subgroup.index_botView on Github →
2021-10-20 18:03
src/group_theory/index.lean
feat(group_theory/index): Index of top and bottom subgroups (#9819) …
Added subgroup.index_botView on Github →