Theorem Primrec.vector_head

Modification history