Theorem Nat.Partrec.Code.primrec₂_curry

Modification history