Theorem CategoryTheory.NatTrans.sum_app_inr

Modification history