PR #2578: feat(group_theory/free_monoid_product): define ...

Stream: triage

[Random Issue Bot]

Today I chose PR 2578 for discussion!

feat(group_theory/free_monoid_product): define free monoid/group product
Created by @Yury G. Kudryashov (@urkud) on 2020-04-30
Labels: WIP, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?