Theorem CategoryTheory.Sum.swap_map_inl

Modification history