Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-17 11:35 a4b699c7

View on Github →

feat(order/basic): antisymm_of_asymm

Estimated changes