Def PartialOrder.ofSetLike

Modification history

2026-02-01 18:45
Mathlib/Data/SetLike/Basic.lean
refactor: remove order instances from `SetLike` (#32984) …
Added PartialOrder.ofSetLikeView on Github →