Theorem Monoid.Coprod.mk_eq_mk

Modification history