[Merged by Bors] - feat(AlgebraicTopology/SimplicialSet): more API for horns#37333
Closed
joelriou wants to merge 15 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - feat(AlgebraicTopology/SimplicialSet): more API for horns#37333joelriou wants to merge 15 commits intoleanprover-community:masterfrom
joelriou wants to merge 15 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 4, 2026
Commits on Apr 7, 2026
Commits on Apr 10, 2026
- andauthored
- committed
- committed
- committed
- committed
- committed
Commits on Apr 13, 2026
- andauthored
- andauthored
- andauthored
- andauthored
- committed
