Theorem CategoryTheory.Functor.initial_iff_comp_equivalence

Modification history