Zulip Chat Archive
Stream: mathlib4
Topic: eq_true_iff
Yury G. Kudryashov (Mar 03 2023 at 17:37):
Am I right that we don't have docs#eq_true_iff in Mathlib 4?
Last updated: Dec 20 2023 at 11:08 UTC
Am I right that we don't have docs#eq_true_iff in Mathlib 4?
Last updated: Dec 20 2023 at 11:08 UTC