Theorem Primrec.list_rec

Modification history