Theorem CategoryTheory.OplaxNatTrans.Modification.whiskerLeft_naturality

Modification history