Theorem CategoryTheory.whiskerLeft_sum

Modification history