Def CategoryTheory.StrongOplaxNatTrans.mkOfOplax

Modification history