Theorem eq_false_intro

Modification history

2024-04-19 20:51

Mathlib/Logic/Basic.lean

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

Modified eq_false_intro View on Github →

2024-04-04 16:42

Mathlib/Init/Propext.lean

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

Modified eq_false_intro View on Github →

2022-10-23 22:23

Mathlib/Init/Propext.lean

chore: port Init.Propext (#471) …

Added eq_false_intro View on Github →