Theorem Encodable.decode_ge_two

Modification history