mathlib

2683fa09 - feat(order/galois_connection): lemmas about galois insertions and supr/infi (#2052)

feat(order/galois_connection): lemmas about galois insertions and supr/infi (#2052) * feat(order/galois_connection): lemmas about galois insertions and supr/infi * Fix build, hopefully Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>