Theorem: List.rtake_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 α
⊢ l.reverse.rtake n = (take n l).reverse
Tactic:
rw [rtake_eq_reverse_take_reverse, reverse_reverse]
State after:
no goals