Theorem CategoryTheory.OplaxNatTrans.Modification.whiskerRight_naturality

Modification history