Theorem CategoryTheory.Functor.initial_of_initial_comp

Modification history