Theorem Traversable.foldl.ofFreeMonoid_comp_of

Modification history