Theorem CategoryTheory.transferNatTrans_counit

Modification history