Theorem Monoid.Coprod.swap_eq_one

Modification history