Theorem CategoryTheory.Functor.initial_of_comp_full_faithful

Modification history