Theorem Traversable.foldr_toList

Modification history