Theorem Nat.Primrec'.prim_iff₁

Modification history