Def OmegaCompletePartialOrder.subtype

Modification history

2023-08-10 19:52

Mathlib/Order/OmegaCompletePartialOrder.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified OmegaCompletePartialOrder.subtype View on Github →

2023-01-20 07:27

Mathlib/Order/OmegaCompletePartialOrder.lean

feat: port Order.OmegaCompletePartialOrder (#1168) …

Added OmegaCompletePartialOrder.subtype View on Github →