PR #1541 refactor(topology): mild reorganization

refactor(topology): mild reorganization #1541

mergify merged 6 commits into master from rwbarton-top-refactor

refactor(topology): mild reorganization

be3344af

rwbarton added WIP

reorder universes in constructions

8627b92c

rwbarton removed WIP

move README.md to docs/theories/topology.md

6b3bdefc

expand documentation of metric/uniform spaces slightly

9198cbbf

update pointers to docs/theories/topological_spaces.md

9941d6cb

PatrickMassot approved these changes on 2019-10-12

PatrickMassot added ready-to-merge

Merge branch 'master' into rwbarton-top-refactor

a24bb7a1

mergify merged 646c035a into master 6 years ago

mergify deleted the rwbarton-top-refactor branch 6 years ago

Reviewers

PatrickMassot

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone