Theorem Monoid.Coprod.con_ker_mk

Modification history