Theorem CategoryTheory.StrongOplaxTrans.whiskerRight_naturality_comp

Modification history