Theorem Primrec.list_length

Modification history