Theorem CategoryTheory.Adjunction.eq_unit_comp_map_iff

Modification history