mathlib3
feat(group_theory/submonoid): define `subtype.comm_monoid`
#1511

Merged

feat(group_theory/submonoid): define `subtype.comm_monoid` #1511

mergify merged 2 commits into master from submonoid-comm_monoid

feat(group_theory/submonoid): define `subtype.comm_monoid`

f18830e5

ChrisHughes24 approved these changes on 2019-10-05

ChrisHughes24 added ready-to-merge

Merge branch 'master' into submonoid-comm_monoid

78ed89a3

mergify merged 78a78efc into master 6 years ago

mergify deleted the submonoid-comm_monoid branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone