Theorem Primrec.to_comp

Modification history