Theorem CategoryTheory.StrongOplaxNatTrans.whiskerLeft_naturality_id

Modification history