Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-23 09:50 afd8a525

View on Github →

feat(order/hom/basic): add simp lemmas for strict_mono.order_iso and friends (#13606) Formalized as part of the Sphere Eversion project.

Estimated changes