Theorem CategoryTheory.Functor.final_of_comp_full_faithful

Modification history