Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-04 11:10 e1f00bc7

View on Github →

feat(order/well_founded): Well founded relations are asymmetric and irreflexive (#13692)

Estimated changes