Theorem CategoryTheory.Functor.final_of_final_comp

Modification history