Theorem CategoryTheory.Functor.sum_map_inr

Modification history