[Merged by Bors] - feat(Topology/Compactness/CompactSystem): introduce compact Systems#36013
Closed
pfaffelh wants to merge 22 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(Topology/Compactness/CompactSystem): introduce compact Systems#36013pfaffelh wants to merge 22 commits intoleanprover-community:masterfrom
pfaffelh wants to merge 22 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
