Theorem Nat.Primrec'.prim_iff

Modification history