Theorem tsum_geometric
Modification history
2020-05-13 01:57
src/analysis/specific_limits.lean
feat(analysis/specific_limits): more geometric series (#2658) …
Deleted tsum_geometricView on Github →2020-04-30 14:07
src/analysis/specific_limits.lean
refactor(tsum): use ∑' instead of ∑ as notation (#2571) …
Modified tsum_geometricView on Github →