Theorem tsum_supᵢ_decode₂

Modification history