mathlib3
feat(topology/bounded_continuous_function): composition of limits when uniform convergence
#2260
Merged
Overview
Commits
8
Changes
View On GitHub

feat(topology/bounded_continuous_function): composition of limits when uniform convergence #2260

mergify merged 8 commits into master from tendsto_comp
sgouezel
sgouezel feat(topology/bounded_continuous_function): composition of limits whe…
f30f3255
cipher1024 cipher1024 assigned jcommelin jcommelin 5 years ago
gebner
gebner commented on 2020-03-28
sgouezel better statement
146b1e53
sgouezel sgouezel added awaiting-review
PatrickMassot
sgouezel
sgouezel sgouezel removed awaiting-review
sgouezel sgouezel added WIP
sgouezel Merge remote-tracking branch 'upstream/master' into tendsto_comp
d0cae790
sgouezel uniform space version
583e9040
sgouezel cleanup
949c9d36
sgouezel
sgouezel sgouezel removed WIP
sgouezel sgouezel added awaiting-review
sgouezel fix linter
4659885f
PatrickMassot
PatrickMassot commented on 2020-04-05
sgouezel reviewer's comments
083dee40
PatrickMassot PatrickMassot removed awaiting-review
PatrickMassot PatrickMassot added ready-to-merge
PatrickMassot
PatrickMassot approved these changes on 2020-04-06
mergify[bot] Merge branch 'master' into tendsto_comp
7b094309
mergify mergify merged ff910dca into master 5 years ago
mergify mergify deleted the tendsto_comp branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum