Theorem CategoryTheory.Oplax.StrongTrans.whiskerLeft_naturality_id

Modification history