Zulip Chat Archive
Stream: lean4
Topic: Definitional equality with quotient types
Notification Bot (Jul 23 2025 at 20:21):
This topic was moved to #new members > Definitional equality with quotient types by Kyle Miller.
Last updated: Dec 20 2025 at 21:32 UTC