Theorem Traversable.foldl.unop_ofFreeMonoid

Modification history