Theorem CategoryTheory.Adjunction.unit_comp_map_eq_iff

Modification history