Def CategoryTheory.Oplax.OplaxTrans.associator

Modification history