PR #16437: feat(group_theory/commutator): Add `commutator...

Stream: triage

[Random Issue Bot]

Today I chose PR 16437 for discussion!

feat(group_theory/commutator): Add commutator_element_self
Created by @Thomas Browning (@tb65536) on 2022-09-09
Labels: awaiting-review, t-algebra

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

[Thomas Browning]

This should be a pretty easy PR to review.