Theorem CategoryTheory.StrongOplaxNatTrans.id.toOplax

Modification history