Def CategoryTheory.Oplax.StrongTrans.mkOfOplax

Modification history