Theorem CategoryTheory.Oplax.OplaxTrans.whiskerRight_naturality_comp

Modification history