feat(order/galois_connection): add 2 lemmas (#17221)
feat(order/galois_connection): add 2 lemmas (#17221)

add `galois_connection.u_eq_top` and `galois_connection.l_eq_bot`





leanprover-community/mathlib,leanprover-community/mathlib