rings
#1066

Merged

feat(algebra/pi_instances): product of submonoids/groups/rings #1066

mergify merged 2 commits into master from prod-substructures

jcommelin requested a review 6 years ago

feat(algebra/pi_instances): product of submonoids/groups/rings

6b6ff07f

ChrisHughes24 approved these changes on 2019-05-20

ChrisHughes24 added ready-to-merge

Merge branch 'master' into 'prod-substructures'

be76bc87

mergify merged cb30c97e into master 6 years ago

mergify deleted the prod-substructures branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone