Theorem Primrec.list_getI

Modification history