Theorem CategoryTheory.transferNatTransSelf_counit

Modification history