Theorem Encodable.decode_list_zero

Modification history