Commit 2021-08-02 02:56 0f168d3e

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