Theorem hasSum_iff_hasSum_compl

Modification history