Theorem CategoryTheory.Functor.sum_map_inl

Modification history