Theorem Primrec.nat_cases₁

Modification history