Theorem Iff.to_eq

Modification history

2024-04-04 16:42

Mathlib/Init/Propext.lean

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

Deleted Iff.to_eq View on Github →

2022-10-23 22:23

Mathlib/Init/Propext.lean

chore: port Init.Propext (#471) …

Added Iff.to_eq View on Github →