Theorem OmegaCompletePartialOrder.ωSup_eq_of_IsLUB

Modification history

2023-10-03 12:58

Mathlib/Order/OmegaCompletePartialOrder.lean

chore: tidy various files (#7359)

Deleted OmegaCompletePartialOrder.ωSup_eq_of_IsLUB 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.ωSup_eq_of_IsLUB View on Github →