Theorem OmegaCompletePartialOrder.Chain.map_le_map

Modification history

2026-04-02 17:24

Mathlib/Order/OmegaCompletePartialOrder.lean

refactor(Order/OmegaCompletePartialOrder): make `Chain` a `structure` (#37258) …

Modified OmegaCompletePartialOrder.Chain.map_le_map View on Github →

2023-01-20 07:27

Mathlib/Order/OmegaCompletePartialOrder.lean

feat: port Order.OmegaCompletePartialOrder (#1168) …

Added OmegaCompletePartialOrder.Chain.map_le_map View on Github →