Commit 2023-03-18 09:41 087d585c

View on Github →

chore: forward-port leanprover-community/mathlib#18533 (#2812)

Estimated changes

Modified Mathlib/Data/Finset/LocallyFinite.lean

added theorem Finset.Ico_eq_cons_Ioo

added theorem Finset.Ioc_eq_cons_Ioo