Theorem Primrec.comp₂

Modification history