Structure CategoryTheory.OplaxTrans.StrongCore

Modification history