Theorem Vector.toList_injective

Modification history