Theorem CategoryTheory.Adjunction.map_projective

Modification history