Theorem Computable.vector_cons

Modification history