Theorem CategoryTheory.Functor.zero_obj

Modification history