Theorem Primrec.vector_tail

Modification history