Theorem CategoryTheory.Functor.final_iff_final_comp

Modification history