Theorem Primrec.nat_cases

Modification history