Theorem Monoid.CoprodI.lift_comp_of'

Modification history