Theorem tsum_geometric_of_abs_lt_1

Modification history