Theorem CategoryTheory.any_functor_const_on_obj

Modification history