Skip to content

[ add ] injectivity of suc for relation m ≡ n (mod o) for {{NonZero o}}#2971

Merged
MatthewDaggitt merged 15 commits into
agda:masterfrom
jamesmckinna:jacques-lemma
Apr 8, 2026
Merged

[ add ] injectivity of suc for relation m ≡ n (mod o) for {{NonZero o}}#2971
MatthewDaggitt merged 15 commits into
agda:masterfrom
jamesmckinna:jacques-lemma

Remove Zulip reference

49d6c58
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test-stdlib
succeeded Apr 8, 2026 in 45m 1s