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: Dec 20 2023 at 11:08 UTC