Theorem CategoryTheory.transferNatTransSelf_symm_id

Modification history