Commit 2021-03-22 01:19 5be0b0c5

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.