Theorem CategoryTheory.Oplax.OplaxTrans.Modification.whiskerLeft_naturality

Modification history