Theorem Nat.Partrec.Code.primrec_recOn'

Modification history