Theorem Traversable.toList_spec

Modification history