Zulip Chat Archive
Stream: mathlib4
Topic: logic.equiv.defs mathlib4#550
Scott Morrison (Nov 17 2022 at 23:58):
We finally have a green tick on mathlib4#550, porting logic.equiv.defs, after a few days of waiting for Lean 4 patches to come be available.
Scott Morrison (Nov 17 2022 at 23:58):
Several other PRs are stacked waiting on this one, so it would be great to merge this soon.
Mario Carneiro (Nov 18 2022 at 00:22):
On it
Last updated: May 02 2025 at 03:31 UTC