Theorem CategoryTheory.Functor.initial_of_comp_full_faithful'

Modification history