Def CategoryTheory.StrongOplaxTrans.mkOfOplax

Modification history