Theorem Monoid.Coprod.range_swap

Modification history