Theorem Monoid.CoprodI.lift_of'

Modification history