mathlib3

5be0b0c5 - feat(data/finset/basic): add strong_induction and strong_induction_eq (#6682)