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: Feb 28 2026 at 14:05 UTC