Theorem CategoryTheory.tensorRightHomEquiv_tensor

Modification history