Theorem Encodable.encode_injective

Modification history