Theorem CategoryTheory.StrongOplaxTrans.whiskerLeft_naturality_comp

Modification history