feat(AlgebraicTopology/SimplexCategory/SimplicialObject): definitions of simplicial objects by generators and relation#21748
Open
robin-carlier wants to merge 38 commits intomasterfrom RC_SimplexCategoryGenRel8
+2,253
Commits
Commits on Feb 11, 2025
- committed
- committed
Commits on Feb 12, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 13, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed