Theorem OmegaCompletePartialOrder.ωSup_total

Modification history