Theorem CategoryTheory.NatTrans.app_zero

Modification history