Skip to content

doc: fix some minor typos - #510

Merged
james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
james-d-mitchell:doc-fixes
Oct 7, 2026
Merged

james-d-mitchell merged 1 commit into
libsemigroups:mainfrom
james-d-mitchell:doc-fixes