Theorem CategoryTheory.transferNatTransSelf_id

Modification history