PR #1043 feat(topology/order): make nhds irreducible

feat(topology/order): make nhds irreducible #1043

mergify merged 4 commits into master from robertylewis-patch-1

feat(topology/order): make nhds irreducible

e29baceb

robertylewis requested a review 6 years ago

move nhds irreducible to topology.basic

26e2b604

sgouezel dismissed these changes on 2019-05-18

Merge branch 'master' into robertylewis-patch-1

cee76e29

sgouezel added ready-to-merge

mergify dismissed their stale review 6 years ago

Pull request has been modified.

Merge branch 'master' into robertylewis-patch-1

4872bfcb

sgouezel dismissed these changes on 2019-05-19

mergify dismissed their stale review 6 years ago

Pull request has been modified.

sgouezel approved these changes on 2019-05-19

mergify merged b9cb69c3 into master 6 years ago

mergify deleted the robertylewis-patch-1 branch 6 years ago

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone