Theorem CategoryTheory.StrongOplaxNatTrans.whiskerLeft_naturality_naturality

Modification history