Retracts of sequential diagrams induce retracts of sequential colimits#968
Merged
EgbertRijke merged 47 commits intoUniMath:masterfrom fredrik-bakke:funDec 5, 2023
+273-10
Commits
Commits on Dec 2, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 3, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 4, 2023
Commits on Dec 5, 2023
- committed
- authored
- committed
- authored
- authored
