Theorem CategoryTheory.IsConnected.of_any_functor_const_on_obj

Modification history