Theorem Monoid.Coprod.range_lift

Modification history