Theorem CategoryTheory.Functor.initial_iff_comp_initial_full_faithful

Modification history