Theorem OmegaCompletePartialOrder.IsLUB_of_ScottContinuous

Modification history

2023-10-03 12:58

Mathlib/Order/OmegaCompletePartialOrder.lean

chore: tidy various files (#7359)

Deleted OmegaCompletePartialOrder.IsLUB_of_ScottContinuous View on Github →

2023-09-15 08:07

Mathlib/Order/OmegaCompletePartialOrder.lean

feat(Order/OmegaCompletePartialOrder): Show that Scott Continuity implies OmegaCompletePartialOrder.Continuous' (#6831) …

Added OmegaCompletePartialOrder.IsLUB_of_ScottContinuous View on Github →