Commit 2022-09-19 09:57 dcf3c6b6

View on Github →

feat(group_theory/commutator): Add commutator_element_self (#16437) This PR adds commutator_element_self, similar to commutator_element_one_left and commutator_element_one_right.

Estimated changes