Theorem CategoryTheory.Functor.sum_obj_inr

Modification history