Zulip Chat Archive
Stream: mathlib4
Topic: Logic.Equiv.Set
Chris Hughes (Dec 15 2022 at 11:35):
This is ready for review and an important file according to port_status.py if someone wants to review it.
Jireh Loreaux (Dec 15 2022 at 17:14):
Looks good to me.
Last updated: May 02 2025 at 03:31 UTC