Theorem CategoryTheory.Adjunction.eq_homEquiv_apply

Modification history