Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-18 23:05 99e14cd4

View on Github →

feat(group_theory/quotient_group): add map : quotient N -> quotient M

Estimated changes