Def CategoryTheory.StrongOplaxTrans.toOplax

Modification history