Theorem CategoryTheory.Adjunction.injective_of_map_injective

Modification history