Zulip Chat Archive

Stream: Proofs from the book

Topic: Mystery: import breaks simp

Notification Bot (Jan 24 2025 at 09:35):

This topic was moved to #general > Mystery: import breaks simp by Johan Commelin.

Last updated: May 02 2025 at 03:31 UTC