Theorem Nat.Primrec'.comp₂

Modification history