Theorem CategoryTheory.Oplax.StrongTrans.id.toOplax

Modification history