Theorem CategoryTheory.Functor.diag_obj

Modification history