Functoriality of morphisms of arrows#1130
Merged
EgbertRijke merged 26 commits intoUniMath:masterfrom fredrik-bakke:functoriality-pullback-homOct 27, 2024
Commits
Commits on Apr 26, 2024
Commits on Apr 27, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Apr 28, 2024
- committed
Commits on Apr 29, 2024
Commits on May 23, 2024
Commits on Oct 17, 2024
- authored
- committed
- committed
- committed
- committed
- committed
Commits on Oct 23, 2024
- committed
