Theorem CategoryTheory.Sum.swap_map_inr

Modification history