Mathlib v3 is deprecated. Go to Mathlib v4

Theorem esakia_hom.coe_id_continuous_order_hom

Modification history

2022-03-22 09:42
src/topology/order/hom/esakia.lean
feat(topology/order/hom/esakia): Esakia morphisms (#12241) …
Added esakia_hom.coe_id_continuous_order_homView on Github →