Theorem LocallyFiniteSupport.finite_inter_support_of_isCompact

Modification history

2026-02-18 08:14
Mathlib/Topology/LocallyFinsupp.lean
feat(Topology): Connecting different notions of locally finite (#26259) …
Added LocallyFiniteSupport.finite_inter_support_of_isCompactView on Github →