Tactic for checking all 128 cases given n : ℕ, n < 128

Stream: Is there code for X?

[Geoffrey Irving]

Say I have a theorem that I want to hold whenever n < 128, and tactic that closes the goal for any specific n < 128. Is there an existing tactic that loops over all 128 cases (resp. some other concrete number in place of 128)?

[Eric Rodriguez]

fin_cases or interval_cases