mathlib3

7b1945e9 - feat(logic/basic): dite_eq_ite (#6095)

feat(logic/basic): dite_eq_ite (#6095) Simplify `dite` to `ite` when possible. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>