Theorem CategoryTheory.Adjunction.hasColimit_of_comp_equivalence

Modification history