Theorem CategoryTheory.OplaxNatTrans.whiskerRight_naturality_naturality

Modification history