This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

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

Draft

vihdzp wants to merge 2 commits into master from noetherian_wf_gt

Collaborator

vihdzp commented Apr 9, 2023

vihdzp added 2 commits

April 8, 2023 20:10


          use well_founded_(lt/gt)

01bae90


          golf

7fc4bd7

vihdzp added the awaiting-review label

vihdzp marked this pull request as draft

April 9, 2023 15:41

semorrison added the too-late label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

awaiting-review too-late