Mathlib v3 is deprecated. Go to Mathlib v4

Theorem right_coset_equivalence_rel

Modification history

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