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 2025 at 21:32 UTC
Am I right that we don't have docs#eq_true_iff in Mathlib 4?
Last updated: Dec 20 2025 at 21:32 UTC