Theorem CategoryTheory.Sum.swap_obj_inl

Modification history