Theorem Monoid.Coprod.clift_comp_mk

Modification history