Mathlib Changelog
v4
Changelog
About
Github
Def
IsAntichain
Modification history
2022-12-24 19:17
Mathlib/Order/Antichain.lean
feat: port `Order.Antichain` (#1206)
Added
IsAntichain
View on Github →