Theorem OmegaCompletePartialOrder.Continuous'.to_monotone

Modification history