Theorem Monoid.Coprod.map_mk_ofList

Modification history