Entry	Value
Package Name	list-fold-def
Count	3
Theorems	foldl_def : !f b l. foldl f b l = foldr (C f) b (REVERSE l) foldr_cons : !f b h t. foldr f b (CONS h t) = f h (foldr f b t) foldr_nil : !f b. foldr f b [] = b

Back to main package page