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.