mathlib3
feat(order/galois_connection): lemmas about galois insertions and supr/infi
#2052
Merged
Merged