Theorem Nat.Primrec'.unpair₂

Modification history