Theorem Primrec₂.mkpair

Modification history