Theorem: Array.get?_toList (Algorithm/Data/Classes/ToList.lean)

State before:
C : Type u_1
α : Type u_2
a : Array α
⊢ a.toList.get? = a.get?
Tactic:
rw [toList_eq, get?_data]
State after:
no goals