Theorem Monoid.CoprodI.lift_of

Modification history