Skip to content

Sync to<Presentation> upstream enhancements#358

Merged
james-d-mitchell merged 8 commits into
libsemigroups:mainfrom
jswent:to-presentation
Nov 24, 2025
Merged

Sync to<Presentation> upstream enhancements#358
james-d-mitchell merged 8 commits into
libsemigroups:mainfrom
jswent:to-presentation

Commits

Commits on Nov 21, 2025