Theorem CategoryTheory.transferNatTransSelf_symm_of_iso

Modification history