Theorem CategoryTheory.Oplax.StrongTrans.whiskerRight_naturality_comp

Modification history