Mathlib Changelog
v4
Changelog
About
Github
Theorem
Scott.IsOpen.isUpperSet
Modification history
2024-09-05 07:28
Mathlib/Topology/OmegaCompletePartialOrder.lean
refactor(Order/OmegaCompletePartialOrder): Unify concepts of Scott Continuity (#13201) …
Modified
Scott.IsOpen.isUpperSet
View on Github →
2023-07-31 23:05
Mathlib/Topology/OmegaCompletePartialOrder.lean
chore: use `FunLike` for `OrderHom` (#5805)
Added
Scott.IsOpen.isUpperSet
View on Github →