Theorem Monoid.Coprod.comp_lift

Modification history