Theorem OmegaCompletePartialOrder.Chain.map_le_map

Modification history