Mathlib v3 is deprecated. Go to Mathlib v4

Theorem summable_geometric

Modification history

2020-05-13 01:57

src/analysis/specific_limits.lean

feat(analysis/specific_limits): more geometric series (#2658) …

Deleted summable_geometric View on Github →

2019-04-30 12:53

src/analysis/specific_limits.lean

feat(analysis/normed_space): open mapping (#900) …

Added summable_geometric View on Github →