Skip to content

Update Mathlib/Order/Interval/Finset/Defs.lean #146345

Update Mathlib/Order/Interval/Finset/Defs.lean

Update Mathlib/Order/Interval/Finset/Defs.lean #146345