Theorem CategoryTheory.NatTrans.leftOpWhiskerRight

Modification history