mathlib

1c857a1f - chore(data/finset/lattice): Protect a few more lemmas (#18497)

chore(data/finset/lattice): Protect a few more lemmas (#18497) `finset.disjoint_sup_left`/`finset.disjoint_sup_right` conflict with `disjoint_sup_left`/`disjoint_sup_right` when `finset` is open, so we protect them.