Composition operations on spans of spans#1231
Merged
EgbertRijke merged 6 commits intoUniMath:masterfrom fredrik-bakke:operations-spans-of-typesJan 3, 2025
+1,166-255
Commits
Commits on Jan 3, 2025
- committed
- committed
- committed
- committed
- committed
- committed
