Mathlib v3 is deprecated. Go to Mathlib v4

Def right_coset_equivalence

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 View on Github →