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

An alternative to `finset.strong_induction_on` that has an associated equation lemma.





leanprover-community/mathlib,leanprover-community/mathlib