Theorem Monoid.Coprod.clift_mk

Modification history