Commit 2026-02-18 08:14 79e9b0f6
View on Github →feat(Topology): Connecting different notions of locally finite (#26259) In this PR we connect the notions of local finiteness of an indexed family of sets (as in LocallyFinite) and of a set of sets (as in Function.locallyFinsuppWithin)