Theorem Monoid.Coprod.mrange_eq

Modification history