Skip to content

order: add rev_* orders - #473

Open
james-d-mitchell wants to merge 1 commit into
libsemigroups:mainfrom
james-d-mitchell:rev-orders
Open

order: add rev_* orders#473
james-d-mitchell wants to merge 1 commit into
libsemigroups:mainfrom
james-d-mitchell:rev-orders