Theorem Monoid.Coprod.range_eq

Modification history