Equivalences of polynomial endofunctors#1722
Open
fredrik-bakke wants to merge 5 commits intoUniMath:masterfrom
Open
Equivalences of polynomial endofunctors#1722fredrik-bakke wants to merge 5 commits intoUniMath:masterfrom
fredrik-bakke wants to merge 5 commits intoUniMath:masterfrom
Commits
Commits on Nov 20, 2025
- committed
- committed
- committed
- committed
- committed