Theorem Encodable.encode_prod_val

Modification history