Theorem Nat.Partrec.Code.primrec₂_pair

Modification history