Theorem Nat.Primrec'.comp'

Modification history