Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-01 09:36 4f2006ed

View on Github →

chore(order/iterate): slightly generalize 2 lemmas (#8481)

Estimated changes