Theorem CategoryTheory.NatTrans.app_neg

Modification history