Theorem CategoryTheory.NatTrans.sum_app_inl

Modification history