Theorem is_empty_sum

Modification history