Theorem Computable.vector_toList

Modification history