Theorem Encodable.decode_unit_succ

Modification history