Hopefully not too hard? In mathlib3 this is a 300-line wrapper for `fin_cases` ....
Hopefully not too hard? In mathlib3 this is a 300-line wrapper for
fin_cases....