Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-08-10 07:12
5b9914b5
View on Github →
style(group_theory/quotient_group): code style
Estimated changes
Modified
group_theory/quotient_group.lean
modified
def
group.quotient.lift
modified
theorem
group.quotient.lift_mk'
modified
theorem
group.quotient.lift_mk