Mathlib v3 is deprecated. Go to Mathlib v4

Theorem quotient_group.exists_coe

Modification history

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