mathlib3
feat(group_theory): monoid / group closure of union
#655
Merged
Overview
Commits
1
Changes
View On GitHub

feat(group_theory): monoid / group closure of union #655

johoelzl merged 1 commit into leanprover-community:master from leanprover-fork:closure-union
kckennylau
kckennylau feat(group_theory): monoid / group closure of union
4e7b9c48
johoelzl johoelzl merged 065f083b into master 7 years ago
johoelzl johoelzl deleted the closure-union branch 7 years ago

Login to write a write a comment.

Login via GitHub

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