Theorem Monoid.CoprodI.induction_on

Modification history