Mathlib Changelog
v4
Changelog
About
Github
Def
PartialOrder.ofSetLike
Modification history
2026-02-01 18:45
Mathlib/Data/SetLike/Basic.lean
refactor: remove order instances from `SetLike` (#32984) …
Added
PartialOrder.ofSetLike
View on Github →