Def CategoryTheory.Oplax.StrongTrans.toOplax

Modification history