Theorem Encodable.encode_sigma_val

Modification history