Theorem CategoryTheory.Adjunction.homEquiv_id

Modification history