Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-10 07:05 d279ddb9

View on Github →

feat(group_theory): adding basic theory of quotient groups

Estimated changes

Created group_theory/quotient_group.lean

added theorem group.quotient.injective_ker_lift

added def group.quotient.lift

added theorem group.quotient.lift_mk'

added theorem group.quotient.lift_mk

added def group.quotient.mk