feat (Topology/Compactness/CompactSystem): closed and compact square cylinders form a compact system#36160
Open
pfaffelh wants to merge 23 commits intoleanprover-community:masterfrom
Open
feat (Topology/Compactness/CompactSystem): closed and compact square cylinders form a compact system#36160pfaffelh wants to merge 23 commits intoleanprover-community:masterfrom
pfaffelh wants to merge 23 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
- committed
