PR #15071: refactor(order/well_founded): ditch `well_foun...

Stream: triage

[Random Issue Bot]

Today I chose PR 15071 for discussion!

refactor(order/well_founded): ditch well_founded_iff_has_min' and well_founded_iff_has_max'
Created by @Violeta Hernández (@vihdzp) on 2022-06-30
Labels: awaiting-review

Is this PR still relevant? Any recent updates? Anyone making progress?

[Violeta Hernández]

That PR has been ready for quite a while, I'm awaiting someone to review it.