Theorem CategoryTheory.tensorLeftHomEquiv_whiskerLeft_comp_evaluation

Modification history