Zulip Chat Archive
Stream: new members
Topic: Can this proof related to Set replacement be shorter?
Notification Bot (Jul 07 2025 at 02:34):
This topic was moved to #Analysis I > Can this proof related to Set replacement be shorter? by Johan Commelin.
Last updated: Dec 20 2025 at 21:32 UTC