Theorem CategoryTheory.StrongOplaxTrans.whiskerLeft_naturality_id

Modification history