mathlib3

58883e3e - feat(topology/ωCPO): define Scott topology in connection with ω-complete partial orders (#4037)

feat(topology/ωCPO): define Scott topology in connection with ω-complete partial orders (#4037) Co-authored-by: Aaron Anderson <awainverse@gmail.com> Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>