Descent data for sequential colimits and its version of the flattening lemma#1109
Merged
fredrik-bakke merged 11 commits intoUniMath:masterfrom VojtechStep:feature/sequential-colimits-2Apr 16, 2024
+2,871-528
Commits
Commits on Apr 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
