Theorem Traversable.id_sequence

Modification history