We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
This is just to point out this reddit discussion about cancellative semigroups. In tower tonyday567 just moved (-) to Group and made a new function cancel. This is the commit. What you do with it is up to you.
tower
(-)
Group
cancel
The text was updated successfully, but these errors were encountered:
No branches or pull requests
This is just to point out this reddit discussion about cancellative semigroups. In
tower
tonyday567 just moved(-)
toGroup
and made a new functioncancel
. This is the commit. What you do with it is up to you.The text was updated successfully, but these errors were encountered: