Theorem Monoid.Coprod.swap_map

Modification history