Theorem CategoryTheory.Adjunction.homEquiv_symm_id

Modification history