Skip to content

Add Held group - #12

Merged
james-d-mitchell merged 9 commits into
libsemigroups:mainfrom
james-d-mitchell:main
Aug 24, 2026
Merged

Add Held group#12
james-d-mitchell merged 9 commits into
libsemigroups:mainfrom
james-d-mitchell:main

Conversation

@james-d-mitchell

Copy link
Copy Markdown
Member

For ease of review here's a little screen shot:

Screenshot 2026-08-18 at 17 45 16

@james-d-mitchell
james-d-mitchell merged commit c795a11 into libsemigroups:main Aug 24, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants