Theorem CategoryTheory.Oplax.OplaxTrans.whiskerRight_naturality_id

Modification history