Theorem Nat.Primrec'.of_prim

Modification history