Theorem CategoryTheory.OplaxNatTrans.whiskerLeft_naturality_naturality

Modification history