Theorem Encodable.encode_true

Modification history