Structure CategoryTheory.Oplax.StrongTrans

Modification history