Structure CategoryTheory.StrongOplaxTrans

Modification history