infinite_sum): dot notation, cauchy sequences
#2171

Merged

feat(topology/algebra/infinite_sum): dot notation, cauchy sequences #2171

mergify merged 5 commits into master from sgouezel_summable

more material on infinite sums

b87968af

minor fixes

25c3d709

cleanup

dfbbd637

sgouezel added awaiting-review

cipher1024 assigned

urkud 6 years ago

urkud commented on 2020-03-18

urkud removed awaiting-review

urkud added awaiting-author

yury's comments

9479123d

sgouezel removed awaiting-author

sgouezel added awaiting-review

urkud approved these changes on 2020-03-18

urkud removed awaiting-review

urkud added ready-to-merge

Merge branch 'master' into sgouezel_summable

5cdcfc28

mergify merged 00d9f1de into master 6 years ago

mergify deleted the sgouezel_summable branch 6 years ago

Reviewers

urkud

Assignees

urkud

Labels

ready-to-merge

Milestone

No milestone