Theorem Encodable.encode_some

Modification history