Theorem if_eq_of_eq

Modification history

2024-02-20 23:51

Mathlib/Init/CCLemmas.lean

chore: Remove `Init.CCLemmas` (#10696) …

Deleted if_eq_of_eq View on Github →

2022-11-06 08:14

Mathlib/Init/CcLemmas.lean

feat: port init/cc_lemmas.lean (#532) …

Added if_eq_of_eq View on Github →