Theorem CategoryTheory.NatTrans.rightOpWhiskerRight

Modification history