Theorem CategoryTheory.StrongOplaxTrans.id.toOplax

Modification history