Theorem Monoid.Coprod.induction_on'

Modification history