mathlib
e4b6b5cc - feat(order/galois_connection): add lt_iff_lt (#10702)

Commit

4 years ago

feat(order/galois_connection): add lt_iff_lt (#10702) A lemma for galois connections on linear orders.

Author

BoltonBailey

Parents