Theorem CategoryTheory.whiskerLeft_comp

Modification history