Theorem geom_sum₂_mul_of_ge

Modification history