mathlib3

e5802f91 - Quotient module is isomorphic to quotient group