Theorem isClosed_sum_iff

Modification history