Theorem CategoryTheory.OplaxNatTrans.whiskerLeft_naturality_comp

Modification history