feat(Topology/Compactness/CompactSystem): set system of finite unions of sets in a compact system is again a compact system#36089
Open
pfaffelh wants to merge 38 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
- committed
Commits on Mar 4, 2026
- andauthored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 6, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed