Theorem CategoryTheory.Adjunction.map_injective

Modification history