Theorem CategoryTheory.Adjunction.homEquiv_naturality_left_symm

Modification history