Theorem CategoryTheory.Adjunction.hasLimitsOfShape_of_equivalence

Modification history