Theorem CategoryTheory.Functor.initial_of_final_op

Modification history