Theorem Primrec.list_reverse

Modification history