Theorem Monoid.Coprod.induction_on

Modification history