how to fix: updating mathlib breaks this code

Stream: mathlib4

[Asei Inoue]

import Mathlib.Tactic.FinCases

example {n : ℕ} (h : n ∈ ({2, 4, 42} : Finset ℕ)) : 2 ∣ n := by
  fin_cases h
  all_goals decide

[Asei Inoue]

After updating Mathlib4, this code no longer works.
How can I fix it?

[Vlad Tsyrklevich]

changing the import to import Mathlib fixes it, #min_imports shows the import you now need.

[Asei Inoue]

Thank you!!