Zulip Chat Archive
Stream: new members
Topic: Why is equivalence of type, zero, and succ sufficient here?
Notification Bot (Jul 07 2025 at 02:36):
This topic was moved to #Analysis I > Why is equivalence of type, zero, and succ sufficient here? by Johan Commelin.
Last updated: Dec 20 2025 at 21:32 UTC