Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C#1501

Draft

zickgraf wants to merge 1 commit intohomalg-project:masterfrom zickgraf:rigid_implies_closed

+69-105

Commits on Nov 9, 2023

Choose hom(B,C) = C ⊗ B^v instead of B^v ⊗ C
zickgraf
committed