Mathlib v3 is deprecated. Go to Mathlib v4

Def preorder_dual

Modification history

2018-01-11 16:26
order/basic.lean
refactor(order/basic): remove "increasing/decreasing" unusual defs
Deleted preorder_dualView on Github →
2017-08-11 18:26
order/basic.lean
add Galois connection, also add a couple of order theoretic results
Added preorder_dualView on Github →