Theorem Primrec.ofNat_iff

Modification history