Theorem CategoryTheory.transferNatTransSelf_comm

Modification history