Entry	Value
Package Name	list-map-def
Count	2
Theorems	MAP_CONS : !f h t. MAP f (CONS h t) = CONS (f h) (MAP f t) MAP_NIL : !f. MAP f [] = []

Back to main package page