Theorem Vector.toList_empty

Modification history