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