Theorem CategoryTheory.Adjunction.has_limits_of_equivalence

Modification history