Theorem CategoryTheory.Adjunction.hasColimit_comp_equivalence

Modification history