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