Theorem CategoryTheory.OplaxNatTrans.whiskerLeft_naturality_id

Modification history