Entry Value
Package Name list-reverse-thm
Count 6
Theorems
  • LENGTH_REVERSE : !l. LENGTH (REVERSE l) = LENGTH l
  • MAP_REVERSE : !f l. REVERSE (MAP f l) = MAP f (REVERSE l)
  • MEM_REVERSE : !l x. MEM x (REVERSE l) <=> MEM x l
  • REVERSE_APPEND : !l1 l2. REVERSE (APPEND l1 l2) = APPEND (REVERSE l2) (REVERSE l1)
  • REVERSE_REVERSE : !l. REVERSE (REVERSE l) = l
  • SET_OF_LIST_REVERSE : !l. set_of_list (REVERSE l) = set_of_list l
  • Back to main package page