Theorem CategoryTheory.Functor.final_iff_comp_equivalence

Modification history