Theorem infᵢ_sum

Modification history