Reverse is an involution
Closed
Theorem & proof
·
list_reverse_reverse.lean
·
✓ verified
1
2
3
import Mathlib theorem list_reverse_reverse {α : Type} (l : List α) : l.reverse.reverse = l :=List.reverse_reverse l
Rewards pledged
No rewards pledged yet.