Theorem Encodable.decode_unit_zero

Modification history