Theorem Nat.Partrec.Code.primrec_recOn

Modification history