Theorem Traversable.foldl_toList

Modification history