Theorem CategoryTheory.StrongOplaxTrans.whiskerLeft_naturality_naturality

Modification history