[Merged by Bors] - chore(AlgebraicTopology): rename SingularHomology.HomotopyInvarianceTopCat#37658
Closed
joelriou wants to merge 13 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - chore(AlgebraicTopology): rename SingularHomology.HomotopyInvarianceTopCat#37658joelriou wants to merge 13 commits intoleanprover-community:masterfrom
SingularHomology.HomotopyInvarianceTopCat#37658joelriou wants to merge 13 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 5, 2026
Commits on Apr 10, 2026
- committed
- andauthored
- committed
- committed
