Theorem supᵢ_sum

Modification history