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.
feat(order/hom/basic): add simp lemmas for strict_mono.order_iso
and friends (#13606)
Formalized as part of the Sphere Eversion project.