[ refactor ] Revise definitions, consequences, and use, of Algebra.Definitions.(Almost)*Cancellative#2573
Open
jamesmckinna wants to merge 48 commits intoagda:masterfrom
Commits
Commits on Jan 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 6, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
Commits on Feb 9, 2025
Commits on Feb 10, 2025
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
Commits on Feb 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 18, 2025
Commits on Feb 19, 2025
Commits on Feb 21, 2025
Commits on Feb 27, 2025
Commits on Mar 24, 2025
Commits on Mar 27, 2025
- committed
- committed
- committed
- committed
- authored
- committed
- committed