Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2023-03-23 18:37
b19481de
View on Github →
feat(order/antichain): Antichains are order-connected (
#18636
)
Estimated changes
Modified
src/data/set/intervals/ord_connected.lean
Modified
src/order/antichain.lean
added
theorem
is_antichain.not_lt
added
theorem
is_antichain_iff_forall_not_lt