Structure CategoryTheory.Oplax.OplaxTrans.StrongCore

Modification history