PR #15171: chore(topology/algebra/group): generalise inst...

Stream: triage

[Random Issue Bot]

Today I chose PR 15171 for discussion!

chore(topology/algebra/group): generalise instances
Created by @Alex J Best (@alexjbest) on 2022-07-07
Labels: awaiting-author

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