Theorem Nat.Primrec'.prim_iff₂

Modification history