Theorem CategoryTheory.Functor.sum'_map_inr

Modification history