Added some functions for working with graph inverse semigroups and their congruences - #1204
Open
joe-dw wants to merge 18 commits into
Open
Added some functions for working with graph inverse semigroups and their congruences#1204joe-dw wants to merge 18 commits into
joe-dw wants to merge 18 commits into
Commits
Commits on Jul 24, 2026
- committed
- authored
- authored
- authored
- authored
- authored
- authored
Commits on Jul 28, 2026
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- authored
- authored