Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_strict_order.swap

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_order.swap View on Github →

2018-01-11 23:22

order/basic.lean

doc(*): blurbs galore …

Added is_strict_order.swap View on Github →