Theorem CategoryTheory.Adjunction.hasColimitsOfShape_of_equivalence

Modification history