Commit 2023-03-06 18:46 b562e458

View on Github →

chore: forward-port mathlib#18497 (#2662)

Estimated changes

Modified Mathlib/Data/Finset/Lattice.lean

deleted theorem Finset.disjoint_sup_left

deleted theorem Finset.disjoint_sup_right

Modified Mathlib/Order/SupIndep.lean