Theorem CategoryTheory.Oplax.OplaxTrans.Modification.whiskerRight_naturality

Modification history