Def CategoryTheory.Oplax.OplaxTrans.rightUnitor

Modification history