Theorem CategoryTheory.NatTrans.app_sub

Modification history