Theorem Encodable.supᵢ_decode₂

Modification history