Structure CategoryTheory.StrongOplaxNatTrans

Modification history