Theorem Primrec.list_tail

Modification history