Theorem summable_pow_div_add

Modification history

2024-11-12 17:08
Mathlib/Analysis/PSeries.lean
feat: add two limit results (#16545)
Added summable_pow_div_addView on Github →