Theorem Primrec.list_head?

Modification history