Theorem Primrec₂.nat_iff

Modification history