Commit 2025-12-18 16:52 c31cde01
View on Github →chore(Order/Iterate): avoid to_dual existing (#32862)
This PR adds a few uses of to_dual. Unfortunately many declarations cannot yet really be handled by to_dual because Monotone isn't supported yet.