Theorem Encodable.decode_sigma_val

Modification history