Theorem CategoryTheory.StrongOplaxNatTrans.whiskerRight_naturality_comp

Modification history