Theorem Primrec.map_decode_iff

Modification history