Theorem Primrec.nat_iff

Modification history