Mathlib v3 is deprecated. Go to Mathlib v4

Def scott_continuous

Modification history

2023-08-28 11:58
src/order/bounds/basic.lean
chore(order/liminf_limsup): Generalise and move lemmas (#18628) …
Modified scott_continuousView on Github →
2023-04-20 11:35
src/order/directed.lean
feat(order/directed): Scott continuous functions (#18517) …
Added scott_continuousView on Github →