Def CategoryTheory.Oplax.OplaxTrans.leftUnitor

Modification history