Theorem dite_eq_ite

Modification history

2023-12-16 04:19

Mathlib/Logic/Basic.lean

chore: bump Std to match leanprover/std4#448 (#9044)

Deleted dite_eq_ite View on Github →

2022-11-22 07:59

Mathlib/Logic/Basic.lean

feat: add `fun x ↦ t` syntax (#617)

Modified dite_eq_ite View on Github →

2022-10-24 15:16

Mathlib/Logic/Basic.lean

feat: port Logic/Basic (#484) …

Added dite_eq_ite View on Github →