Theorem mem_right_coset_right_coset
Modification history
2019-11-12 18:51
src/group_theory/coset.lean
feat(group_theory/submonoid): add bundled submonoids and various lemmas (#1623) …
Modified mem_right_coset_right_cosetView on Github →2018-04-11 14:49
group_theory/coset.lean
chore(group_theory): move order_of into its own file; base costes on left_coset
Modified mem_right_coset_right_cosetView on Github →