Theorem CategoryTheory.NatTrans.app_zsmul

Modification history