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: Feb 28 2026 at 14:05 UTC
Am I right that we don't have docs#eq_true_iff in Mathlib 4?
Last updated: Feb 28 2026 at 14:05 UTC