mathlib3
1417a74e - feat(order/galois_connection): add 2 lemmas (#17221)

Commit

3 years ago

feat(order/galois_connection): add 2 lemmas (#17221) add `galois_connection.u_eq_top` and `galois_connection.l_eq_bot`

Author

urkud

Parents