Theorem CategoryTheory.NatTrans.op_whiskerLeft

Modification history