Theorem CategoryTheory.Adjunction.CoreHomEquiv.homEquiv_naturality_left_aux

Modification history