Theorem Nat.Partrec.Code.primrec_const

Modification history