Mathlib v3 is deprecated. Go to Mathlib v4

Def subgroup.right_coset_equiv_subgroup

Modification history

2021-02-23 21:11
src/group_theory/coset.lean
chore(group_theory/coset): right_coset additions and module doc (#6371) …
Added subgroup.right_coset_equiv_subgroupView on Github →