Theorem CategoryTheory.Functor.initial_of_equivalence_comp

Modification history