Closed wilfwilson closed 3 years ago
This may be useful in https://github.com/semigroups/Semigroups/pull/717.
This may be useful in https://github.com/semigroups/Semigroups/pull/717.