Theorem CategoryTheory.StrongOplaxNatTrans.whiskerRight_naturality_naturality

Modification history