Theorem CategoryTheory.Adjunction.homEquiv_apply_eq

Modification history