Theorem CategoryTheory.Functor.final_iff_comp_final_full_faithful

Modification history