Theorem CategoryTheory.NatTrans.op_whiskerRight

Modification history