Def OrderHom.bind

Modification history

2024-07-14 20:25

Mathlib/Order/OmegaCompletePartialOrder.lean

feat: Monotonicity of monadic operations on `Part` (#13337) …

Deleted OrderHom.bind View on Github →

2023-01-20 07:27

Mathlib/Order/OmegaCompletePartialOrder.lean

feat: port Order.OmegaCompletePartialOrder (#1168) …

Added OrderHom.bind View on Github →