Theorem Encodable.iSup_decode₂

Modification history