Theorem OmegaCompletePartialOrder.ωSup_eq_of_isLUB

Modification history