Def CategoryTheory.Pseudofunctor.StrongTrans.toOplax

Modification history