Theorem OmegaCompletePartialOrder.Chain.isChain_range

Modification history

2023-09-03 15:44
Mathlib/Order/OmegaCompletePartialOrder.lean
feat(Order/CompletePartialOrder): Introduce complete partial orders (#6170) …
Added OmegaCompletePartialOrder.Chain.isChain_rangeView on Github →