Commit 2026-07-08 01:27 324df5f3

chore(Topology/Order/OrderClosed): add label to hypothesis [NeBot _] (#41385) This is so we can conveniently use it in grw, refine, exact, etc, by adding (hx := proof) without needing to declare have := proof or needing to do convert to use it.