Theorem CategoryTheory.Functor.zero_of_map_zero

Modification history