Refactor universal property of suspensions#961
Merged
fredrik-bakke merged 17 commits intoUniMath:masterfrom fredrik-bakke:refactor-universal-propertyDec 10, 2023
+382-372
Commits
Commits on Dec 1, 2023
Commits on Dec 2, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
