Def CategoryTheory.Pseudofunctor.StrongTrans.mkOfOplax

Modification history