mathlib3

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

#18776

Open