Theorem Partrec.map_encode_iff

Modification history