Def CategoryTheory.Oplax.OplaxTrans.whiskerLeft

Modification history