Theorem CategoryTheory.StrongOplaxTrans.whiskerRight_naturality_naturality

Modification history