Theorem Encodable.surjective_decode_iget

Modification history