[ add ] injectivity of suc for relation m ≡ n (mod o) for {{NonZero o}}#2971
Open
jamesmckinna wants to merge 14 commits intoagda:masterfrom
Open
[ add ] injectivity of suc for relation m ≡ n (mod o) for {{NonZero o}}#2971jamesmckinna wants to merge 14 commits intoagda:masterfrom
suc for relation m ≡ n (mod o) for {{NonZero o}}#2971jamesmckinna wants to merge 14 commits intoagda:masterfrom
Commits
Commits on Mar 27, 2026
Commits on Mar 28, 2026
Commits on Mar 29, 2026
Commits on Mar 30, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed