Theorem Primrec.vector_ofFn'

Modification history