Theorem CategoryTheory.Functor.isEquivalence_of_comp_right

Modification history