Theorem CategoryTheory.transferNatTransSelf_adjunction_id_symm

Modification history