feat(CategoryTheory/Sums/Basic): functors out of Sum#22278
Open
robin-carlier wants to merge 6 commits intomasterfrom RC_FunctorSumEquiv
+84-6
Commits
Commits on Feb 24, 2025
Commits on Feb 25, 2025
- committed
- committed
- committed
- committed
