Theorem Monoid.CoprodI.induction_left

Modification history