Theorem: Array.isEmpty_toListRev (Algorithm/Data/Classes/ToList.lean)

State before:
C : Type u_1
α : Type u_2
a : Array α
⊢ a.toListRev.isEmpty = a.isEmpty
Tactic:
rw [toListRev_eq, List.isEmpty_reverse, isEmpty_data]
State after:
no goals