Theorem summable_div_const_iff

Modification history