[Merged by Bors] - feat(topology): Small inductive dimension#37619
Closed
FernandoChu wants to merge 12 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(topology): Small inductive dimension#37619FernandoChu wants to merge 12 commits intoleanprover-community:masterfrom
FernandoChu wants to merge 12 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 3, 2026
- committed
- committed
- committed
Commits on Apr 4, 2026
- authored
- committed
- authored
- committed
- committed
- authored
- committed