Theorem CategoryTheory.transferNatTransSelf_of_iso

Modification history