Theorem geom_sum_mul_of_one_le

Modification history