Equivalences of cospan diagrams#1736
Draft
fredrik-bakke wants to merge 12 commits intoUniMath:masterfrom
Draft
Commits
Commits on Nov 28, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 29, 2025
- committed