Theorem CategoryTheory.transferNatTransSelf_symm_comm

Modification history