PR #6045: refactor(algebra/group/type_tags): make additiv...

Stream: triage

[Random Issue Bot]

Today I chose PR 6045 for discussion!

refactor(algebra/group/type_tags): make additive and multiplicative structures
Created by @Gabriel Ebner (@gebner) on 2021-02-04
Labels: awaiting-author, merge-conflict, mathport

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