Theorem is_strict_weak_order_of_is_order_connected
Modification history
2020-06-14 12:37
src/order/basic.lean
chore(order/basic): move unbundled order classes to `rel_classes (#3066) …
Modified is_strict_weak_order_of_is_order_connectedView on Github →