Theorem Nat.Partrec.Code.primrec₂_prec

Modification history