Theorem CategoryTheory.Functor.initial_iff_equivalence_comp

Modification history