Skip to content

feat(Topology/Compactness/CompactSystem): closed and compact square cylinders form a compact system#25906

Closed
pfaffelh wants to merge 82 commits intoleanprover-community:masterfrom
pfaffelh:pfaffelh_compactSystem2
Closed

feat(Topology/Compactness/CompactSystem): closed and compact square cylinders form a compact system#25906
pfaffelh wants to merge 82 commits intoleanprover-community:masterfrom
pfaffelh:pfaffelh_compactSystem2

Commits

Commits on Aug 19, 2025

Commits on Aug 20, 2025

Commits on Aug 21, 2025