involutive-semigroups alternatives and similar packages
Based on the "Algebra" category
Do you think we are missing an alternative of involutive-semigroups or a related project?
S is said to be with involution if it comes equipped with an
rev. Specifically, the following must hold for all
y : S:
rev (rev x) = x
rev (x <> y) = rev y <> rev x.
reverse is the prototypical example. Any group inverse automatically satisfies