Mathlib v3 is deprecated. Go to Mathlib v4

Structure preorder_hom

Modification history

2021-12-13 13:35

src/order/order_hom.lean

chore(order): rename `preorder_hom` to `order_hom` (#10750) …

Deleted preorder_hom View on Github →

2020-09-02 00:37

src/order/category/Preorder.lean

feat(pfun/recursion): unbounded recursion (#3778)

Modified preorder_hom View on Github →

2020-08-20 06:10

src/order/category/Preorder.lean

feat(order/category): various categories of ordered types (#3841) …

Added preorder_hom View on Github →