Theorem iff_eq_eq

Modification history

2024-04-19 20:51

Mathlib/Logic/Basic.lean

chore(Logic): reduce use of autoImplicit (#12135) …

Modified iff_eq_eq View on Github →

2024-04-04 16:42

Mathlib/Init/Propext.lean

chore: Remove `Init.Propext` (#10709) …

Modified iff_eq_eq View on Github →

2022-10-23 22:23

Mathlib/Init/Propext.lean

chore: port Init.Propext (#471) …

Added iff_eq_eq View on Github →