Commit 2020-01-12 06:48 c5d91bc7
View on Github →feat(topology/algebra/ordered): add order topology for partial orders… (#1276)
- feat(topology/algebra/ordered): doc, add convergence in ordered groups criterion
- docstring
- reviewer's comments
feat(topology/algebra/ordered): add order topology for partial orders… (#1276)