Theorem Computable.vector_get

Modification history