Theorem Computable.vector_tail

Modification history