Theorem CategoryTheory.Adjunction.projective_of_map_projective

Modification history