Theorem CategoryTheory.Functor.final_comp

Modification history