Entry	Value
Package Name	option-map-thm
Count	3
Theorems	map_option_id : map_option I = I map_option_o : !f g x. map_option (f o g) x = map_option f (map_option g x) map_option_o' : !f g. map_option f o map_option g = map_option (f o g)

Back to main package page