Theorem Primrec₂.encode_iff

Modification history