Def ωCPO

Modification history

2025-02-23 22:14

Mathlib/Order/Category/OmegaCompletePartialOrder.lean

refactor(Order/Category): `ConcreteCategory` instance for `\omegaCPO` (#21478) …

Deleted ωCPO View on Github →

2023-06-29 08:26

Mathlib/Order/Category/OmegaCompletePartialOrder.lean

feat: port Order.Category.OmegaCompletePartialOrder (#5578)

Added ωCPO View on Github →