Theorem Encodable.decode_list_succ

Modification history