Theorem Monoid.Coprod.fst_swap

Modification history