Theorem CategoryTheory.Adjunction.homEquiv_naturality_right

Modification history