Commit 2024-07-21 13:49 e64157db
View on Github →feat(Topology/Order/ScottTopology): Characterise the Scott Topology of a Complete Linear Order (#12175) This PR gives a convenient characterisation of the Scott Topology for a Complete Linear Order
feat(Topology/Order/ScottTopology): Characterise the Scott Topology of a Complete Linear Order (#12175) This PR gives a convenient characterisation of the Scott Topology for a Complete Linear Order