Theorem Primrec₂.comp

Modification history