Theorem OmegaCompletePartialOrder.IsLUB_range_ωSup

Modification history

2023-10-03 12:58

Mathlib/Order/OmegaCompletePartialOrder.lean

chore: tidy various files (#7359)

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