Theorem CompletePartialOrder.scottContinuous

Modification history

2023-09-03 15:44

Mathlib/Order/CompletePartialOrder.lean

feat(Order/CompletePartialOrder): Introduce complete partial orders (#6170) …

Added CompletePartialOrder.scottContinuous View on Github →