Skip to content

order: add rev_* orders - #473

Merged
james-d-mitchell merged 3 commits into
libsemigroups:mainfrom
james-d-mitchell:rev-orders
Aug 19, 2026
Merged

order: add rev_* orders#473
james-d-mitchell merged 3 commits into
libsemigroups:mainfrom
james-d-mitchell:rev-orders

order: doc fix potentially misleading wording

a212661
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ubuntu-latest
succeeded Aug 19, 2026 in 10m 48s