Structure CategoryTheory.Oplax.OplaxTrans.Modification

Modification history