Commit 2022-02-02 07:21 a18680a6
View on Github →chore(topology/continuous_function/ordered): split from continuous_function/basic
(#11761)
Split material about orders out from continuous_function/basic
, to move that file lower down the import hierarchy.