mathlib
aabb900b - feat(order/preorder_hom): preorder_hom_eq_id (#8135)

Commit

4 years ago

feat(order/preorder_hom): preorder_hom_eq_id (#8135) From LTE

Author

jcommelin

jcommelin

Parents

Loading