Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-04 14:28 4d26028e

View on Github →

chore(order/basic): add a lemma expanding le on pi types (#6023)

Estimated changes