Skip to content

Remove Zulip reference

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

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

Remove Zulip reference
49d6c58
Select commit
Loading
Failed to load commit list.

Annotations

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