Theorem Primrec.encdec

Modification history