Theorem CategoryTheory.Functor.final_of_equivalence_comp

Modification history