Theorem: List.take_reverse (LeanCamCombi/Mathlib/Data/List/DropRight.lean)

State before:
α : Type u_1
l✝ l' l₀ l₁ l₂ : List α
a b : α
m n✝ n : ℕ
l : List α
⊢ take n l.reverse = (l.rtake n).reverse
Tactic:
rw [rtake_eq_reverse_take_reverse, reverse_reverse]
State after:
no goals