Theorem Primrec.list_headI

Modification history