Theorem CategoryTheory.Adjunction.hasLimit_of_comp_equivalence

Modification history