Theorem CategoryTheory.Oplax.OplaxTrans.whiskerRight_naturality_naturality

Modification history