Def CategoryTheory.Oplax.OplaxTrans.whiskerRight

Modification history