gt)`
#18776

Open

feat(topology/noetherian_space): use `well_founded_(lt/gt)` #18776

vihdzp wants to merge 2 commits into master from noetherian_wf_gt

use well_founded_(lt/gt)

01bae903

golf

7fc4bd75

vihdzp added awaiting-review

vihdzp marked this pull request as draft 2 years ago

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-review too-late

Milestone

No milestone