Theorem Traversable.foldr.ofFreeMonoid_comp_of

Modification history