Theorem Nat.Primrec'.to_prim

Modification history