Mathlib v3 is deprecated. Go to Mathlib v4

Def preorder_hom.subtype.val

Modification history

2021-12-13 13:35
src/order/order_hom.lean
chore(order): rename `preorder_hom` to `order_hom` (#10750) …
Deleted preorder_hom.subtype.valView on Github →
2020-10-16 00:56
src/order/preorder_hom.lean
feat(order/category/omega-complete): omega-complete partial orders form a complete category (#4397) …
Added preorder_hom.subtype.valView on Github →