Theorem OmegaCompletePartialOrder.le_ωSup_of_le

Modification history