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