Theorem Primrec.vector_cons

Modification history