Theorem CategoryTheory.transferNatTransSelf_adjunction_id

Modification history