Theorem Monoid.Coprod.ext_hom

Modification history