Theorem Primrec.nat_omega_rec

Modification history