Theorem CategoryTheory.tensorRightHomEquiv_whiskerRight_comp_evaluation

Modification history