Theorem CategoryTheory.Adjunction.homEquiv_naturality_right_symm

Modification history