ordered): add order topology for partial orders…
#1276

Merged

feat(topology/algebra/ordered): add order topology for partial orders… #1276

mergify merged 4 commits into master from kappelmann_topology

kappelmann requested a review 6 years ago

ChrisHughes24 commented on 2019-07-28

kappelmann force pushed from 254ecc8b to 2942ec36 6 years ago

PatrickMassot requested changes on 2019-07-29

kappelmann force pushed from 2942ec36 to c3aec9d3 6 years ago

PatrickMassot assigned

PatrickMassot 6 years ago

robertylewis added awaiting-review

PatrickMassot unassigned

PatrickMassot 6 years ago

PatrickMassot assigned

rwbarton 6 years ago

PatrickMassot assigned

sgouezel 6 years ago

feat(topology/algebra/ordered): doc, add convergence in ordered group…

c657cbdd

sgouezel force pushed from c3aec9d3 to c657cbdd 6 years ago

sgouezel assigned

PatrickMassot 6 years ago

docstring

324cf13d

PatrickMassot commented on 2020-01-10

PatrickMassot removed awaiting-review

PatrickMassot added awaiting-author

reviewer's comments

320fab44

sgouezel removed awaiting-author

sgouezel added awaiting-review

PatrickMassot removed awaiting-review

PatrickMassot added ready-to-merge

PatrickMassot approved these changes on 2020-01-12

Merge branch 'master' into kappelmann_topology

7ed45a61

mergify merged c5d91bc7 into master 6 years ago

mergify deleted the kappelmann_topology branch 6 years ago

Reviewers

PatrickMassot

sgouezel

jcommelin

ChrisHughes24

Assignees

rwbarton

sgouezel

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(topology/algebra/ordered): add order topology for partial orders… #1276 Merged

feat(topology/algebra/ordered): add order topology for partial orders… #1276

mathlib3
feat(topology/algebra/ordered): add order topology for partial orders…
#1276

Merged