Theorem Vector.toList_set

Modification history