Theorem CategoryTheory.Oplax.OplaxTrans.whiskerLeft_naturality_comp

Modification history