Theorem geom_sum_alternating_of_le_neg_one

Modification history