Theorem Monoid.Coprod.lift_unique

Modification history