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: May 02 2025 at 03:31 UTC
Am I right that we don't have docs#eq_true_iff in Mathlib 4?
Last updated: May 02 2025 at 03:31 UTC