Theorem Traversable.toList_map

Modification history