Theorem CategoryTheory.Adjunction.has_colimits_of_equivalence

Modification history