Theorem Traversable.map_eq_traverse_id

Modification history