Mathlib v3 is deprecated. Go to Mathlib v4

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