mathlib3
feat(group_theory): free_group and free_abelian_group are lawful monads
#737
Merged
Overview
Commits
3
Changes
View On GitHub

feat(group_theory): free_group and free_abelian_group are lawful monads #737

ChrisHughes24 merged 3 commits into master from traversable
kckennylau
jcommelin
jcommelin approved these changes on 2019-02-18
cipher1024 cipher1024 assigned cipher1024 cipher1024 6 years ago
cipher1024 cipher1024 unassigned cipher1024 cipher1024 6 years ago
cipher1024 cipher1024 assigned ChrisHughes24 ChrisHughes24 6 years ago
kckennylau feat(group_theory): free_group and free_abelian_group are lawful monads
c8882bc4
kckennylau kckennylau force pushed from 6f9a7f22 to c8882bc4 6 years ago
ChrisHughes24 Merge branch 'master' into traversable
5dbed089
ChrisHughes24 Merge branch 'master' into traversable
99b72f94
ChrisHughes24 ChrisHughes24 merged 0bb0cec5 into master 6 years ago
ChrisHughes24 ChrisHughes24 deleted the traversable branch 6 years ago

Login to write a write a comment.

Login via GitHub

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