Structure ωCPO

Modification history

2025-02-23 22:14

Mathlib/Order/Category/OmegaCompletePartialOrder.lean

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

Added ωCPO View on Github →