Theorem Eq.rec_eq_cast

Modification history

2025-09-16 23:57

Mathlib/Logic/Basic.lean

chore: deprecate some duplicate HEq lemmas (#29711)

Deleted Eq.rec_eq_cast View on Github →

2023-10-03 10:19

Mathlib/Logic/Basic.lean

feat: lemmas about equiv and logic (#7338) …

Added Eq.rec_eq_cast View on Github →