30 Dec
2015
30 Dec
'15
8:15 p.m.
Is this true, in general?: fmap h (fmap g f) == fmap (h . g) f Is there a simple proof? Thanks, -db