Theorem Primrec₂.comp₂

Modification history