Theorem Computable.encode_iff

Modification history