mathlib

1a4203a9 - feat(group_theory/coset): Right cosets are in bijection with left cosets (#13228)

feat(group_theory/coset): Right cosets are in bijection with left cosets (#13228) Right cosets are in bijection with left cosets. This came up in some work involving right transversals.