Theorem Monoid.Coprod.fst_comp_swap

Modification history