Theorem Monoid.Coprod.range_eq_sup

Modification history