Theorem Primrec₂.ofNat_iff

Modification history