Theorem Computable.vector_head

Modification history