Theorem Primrec.nat_omega_rec'

Modification history