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.
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.