Theorem CategoryTheory.Adjunction.CoreHomEquiv.homEquiv_naturality_right_symm

Modification history