PR #14923: fix(algebra/group/units): splitting out `mul_o...

Stream: triage

[Random Issue Bot]

Today I chose PR 14923 for discussion!

fix(algebra/group/units): splitting out mul_one_class for group of units
Created by @Jon Eugster (@joneugster) on 2022-06-24
Labels: awaiting-review

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