Theorem CategoryTheory.Functor.map_sum

Modification history