Theorem: Array.getLast?_data (Algorithm/Data/Classes/ToList.lean)

State before:
C : Type u_1
α : Type u_2
a : Array α
⊢ a.data.getLast? = a.back?
Tactic:
simp [← getLast?_toList]
State after:
no goals