Theorem summable_geometric_iff_norm_lt_one

Modification history