mathlib3
feat(group_theory/quotient_group): define ker_lift and prove simp-lemmas
#764
Merged
Overview
Commits
3
Changes
View On GitHub

feat(group_theory/quotient_group): define ker_lift and prove simp-lemmas #764

ChrisHughes24 merged 3 commits into master from ker-lift
jcommelin
jcommelin feat(group_theory/quotient_group): define ker_lift and prove simp-lemmas
22cdd37d
cipher1024 cipher1024 assigned ChrisHughes24 ChrisHughes24 6 years ago
ChrisHughes24
jcommelin Add docstring
17892ff6
ChrisHughes24 Merge branch 'master' into ker-lift
b4513de2
ChrisHughes24 ChrisHughes24 merged 781d1875 into master 6 years ago
ChrisHughes24 ChrisHughes24 deleted the ker-lift branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum