PR #15927: feat(order/order_iso_nat): value is accessible...

Stream: triage

[Random Issue Bot]

Today I chose PR 15927 for discussion!

feat(order/order_iso_nat): value is accessible iff it's not contained in an infinite decreasing sequence
Created by @Violeta Hernández (@vihdzp) on 2022-08-08
Labels: awaiting-review

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