Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-13 19:31 3b2cf53d

View on Github →

feat(order/well_founded) Added strict_mono.id_le_of_wo (#10732) This generalizes strict_mono.id_le.

Estimated changes