[Merged by Bors] - feat(AlgebraicTopology): define the simplicial nerve of a simplicial category#19837
Closed
dagurtomas wants to merge 4 commits intomasterfrom dagur/SimplicialNerve
+269-1
Commits
Commits on Dec 9, 2024
Commits on Dec 12, 2024
- committed