Theorem Primrec.list_append

Modification history