Theorem CategoryTheory.Oplax.OplaxTrans.whiskerLeft_naturality_naturality

Modification history