Theorem CategoryTheory.Sum.swap_obj_inr

Modification history