Theorem Primrec.list_cases

Modification history