Def CategoryTheory.StrongOplaxNatTrans.toOplax

Modification history