mathlib

fdb930f3 - feat(data/bool/basic): add `bool.cond_eq_ite` (#16834)