Theorem CategoryTheory.Adjunction.hasLimit_comp_equivalence

Modification history