mathlib3

697488c8 - feat(tactic/unfold_cases): add unfold_cases tactic (#3396)