Theorem CategoryTheory.Adjunction.CoreHomEquiv.homEquiv_naturality_left

Modification history