Theorem CategoryTheory.StrongOplaxNatTrans.whiskerLeft_naturality_comp

Modification history