Theorem Computable.map_decode_iff

Modification history