Theorem OmegaCompletePartialOrder.continuous_const

Modification history