Add presentation::add_commutes_rule
#470
Labels
feature-request
A label for issues that request new features.
presentation::add_commutes_rule
#470
I.e.
Possibly also
presentation::add_commutator_rule
but at the moment I'm struggling to figure out what the arguments to this would be since we don't track inverses.The text was updated successfully, but these errors were encountered: