mathlib3

e90e0a61 - feat(tactic/positivity): Extension for `ite` (#17650)

feat(tactic/positivity): Extension for `ite` (#17650) Add `positivity_ite`, an extension for `ite`. Co-authored-by: Jireh Loreaux <loreaujy@gmail.com>