Theorem Encodable.decode_prod_val

Modification history