feat(Topology/Compactness/CompactSystem): set system of countable intersections of sets in a compact system is again a compact system#36225
Open
pfaffelh wants to merge 30 commits intoleanprover-community:masterfrom
Commits
Commits on Jan 14, 2026
- committed
Commits on Mar 2, 2026
Commits on Mar 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 4, 2026
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andauthored
Commits on Mar 18, 2026
- authored
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
