Theorem Primrec.vector_nth'

Modification history