mathlib3

f46f0a67 - feat(tactic/fin_cases): case bashing on finset, list, and fintype hypotheses. (#775)