Theorem Primrec.list_range

Modification history