Rename wild higher categories#1233
Open
fredrik-bakke wants to merge 13 commits intoUniMath:masterfrom fredrik-bakke:rename-ω-categories
Hidden character warning
The head ref may contain hidden characters: "rename-\u03c9-categories"
+2,552-2,498
Commits
Commits on Jan 4, 2025
- committed
- committed
- committed
- committed
- authored
- committed
- committed
Commits on Jan 7, 2025
- committed
- committed
Commits on Jan 8, 2025
- committed
Commits on Jan 10, 2025
- committed
- committed
Commits on Jan 13, 2025
- committed