Theorem OmegaCompletePartialOrder.ωSup_le_ωSup_of_le

Modification history