feat(list.lean): proved reverse reverse theorem