Theorem CategoryTheory.Oplax.OplaxTrans.whiskerLeft_naturality_id

Modification history