Theorem Nat.Primrec.sub

Modification history