!4#2508 Introduce the Scott topology on a preorder

Stream: PR reviews

[Christopher Hoskin]

Please could I request a review for https://github.com/leanprover-community/mathlib4/pull/2508 (Introduce the Scott topology on a preorder). It's had quite a bit of attention already from @Yaël Dillies so I'm hoping it may not need too much more of a push to get it across the line.

Thanks,

Christopher