Theorem CategoryTheory.Functor.final_comp_equivalence

Modification history