Skip to content

0.7.2

Compare
Choose a tag to compare
@james-d-mitchell james-d-mitchell released this 12 Jan 18:25
· 57 commits to main since this release

This is a minor change related to some forthcoming changes in libsemigroups.