Theorem CategoryTheory.StrongOplaxTrans.whiskerRight_naturality_id

Modification history