nnreal): use `ord_connected_subset_conditionally_complete_linear_order` (#8502)

Commit

4 years ago

refactor(data/real/nnreal): use `ord_connected_subset_conditionally_complete_linear_order` (#8502)

Author

urkud

Parents