Theorem CategoryTheory.NatTrans.op_comp

Modification history