mathlib3
feat(topology/bounded_continuous_functions): more general uniform convergence
#2165

Merged

feat(topology/bounded_continuous_functions): more general uniform convergence #2165

mergify merged 4 commits into master from sgouezel_uniform

feat(topology/buonded_continuous_functions): more general uniform con…

dc4ba6bb

sgouezel added awaiting-review

urkud commented on 2020-03-18

yury's comments

7fdc5c7c

cipher1024 assigned

urkud 6 years ago

urkud approved these changes on 2020-03-18

urkud removed awaiting-review

urkud added ready-to-merge

Merge branch 'master' into sgouezel_uniform

2346abe9

Merge branch 'master' into sgouezel_uniform

c30d69ff

mergify merged 5f62d3bb into master 6 years ago

mergify deleted the sgouezel_uniform branch 6 years ago

Reviewers

urkud

Assignees

urkud

Labels

ready-to-merge

Milestone

No milestone