Theorem CategoryTheory.Functor.sum'_map_inl

Modification history