Theorem Encodable.encode_inj

Modification history