Structure CategoryTheory.Oplax.OplaxTrans

Modification history