Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_antichain.not_lt

Modification history

2023-03-23 18:37
src/order/antichain.lean
feat(order/antichain): Antichains are order-connected (#18636)
Added is_antichain.not_ltView on Github →