Theorem CategoryTheory.Adjunction.homEquiv_naturality_left

Modification history