Theorem Traversable.foldr_map

Modification history