Theorem summable_norm_pow_mul_geometric_of_norm_lt_one

Modification history