Implement `IsSelfDualSemigroup`
james-d-mitchell opened this issue · 2 comments
james-d-mitchell commented
Could be done by trying to find an isomorphism from an isomorphic fp semigroup to the fp semigroup with all of the relations reversed.
james-d-mitchell commented
Resolved in #890
james-d-mitchell commented
Resolved in v5.2.0