Commit 2023-02-26 10:03 1c857a1f
View on Github →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.