feat(list.lean): proved reverse reverse theorem
Merge branch 'master' of github.com:leanprover/libraries