Theorem CategoryTheory.transferNatTransSelf_symm_comp

Modification history